積 (圈)
product
積 (圏論) - Wikipedia
cartesian product in nLab
集合の圈
$ \bf Set
に於ける直積を圈論的にしたもの
同じく集合を對象とする圈でも
關係の圈
$ \bf Rel
では
積 (圈)
は集合の直和と成る
對象
$ A
,
$ B
の積
$ A\times B
は、
可換圖式
$ A\larr X\to B
を滿たす對象
$ X
の內で普遍性を持つもの
圈論的雙對
は
餘積
随伴関手の応用 - 積としての随伴関手 - bitterharvest’s diary
隨伴 (函手)
猫番 — 積
Scala.icon